Roberval, Gilles Personne de, professeur royal de mathématiques